Nuprl Definition : quot_grp_car
13,42
postcript
pdf
|
g
//
h
| ==
a
,
b
:|
g
|//
a
b
(mod
h
in
g
)
latex
Up
groups
1
Definitions
|
g
|
,
a
b
(mod
s
in
g
)
origin
b (mod h in g) b (mod h in g) b (mod s in g)